type Algebra[F[_], A] = F[A] => A